Nuprl Definition : es-pred!
11,40
postcript
pdf
es-pred!(
es
;
e
;
e'
) == pred!(
e
;
e'
)
latex
clarification:
es-pred!(
es
;
e
;
e'
) == pred!(es-E(
es
);es-pred?(
es
);es_info(
es
);
e
;
e'
)
latex
Definitions
pred!(
e
;
e'
)
,
es-E(
es
)
,
es-pred?(
es
)
,
es_info(
es
)
FDL editor aliases
es-pred!
origin